Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 1 of 1 for:
algorithm design
1
program synthesis
1 ?
 21,213,375 websites (safe search)

  1. Kestrel Institute

    * --> Technology for analysis and synthesis of high-assurance software applications Kestrel Institute is a non-profit computer science research institute. Our ...
    formal methods1
    algorithm design1
    category theory1
    correct by construction1
    program synthesis1
    Kestrel Institute0
    provably correct0

    www.kestrel.edu - 2009-04-09

security4 text categorization1 access control2 financial advisor2 essay2 algorithms1 neural1 alarm2 nlp2 estate6 planning4 robot2 artificial intelligence2 financial4 networks3 problem solving2 text mining1 genetic2 robotics2 reference2 automation3 robots2 cctv3 ancestry.com2

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.